Changing one cell type into another

Extreme makeover: converting one cell into another.

Cells of adult mammals can be converted (reprogrammed) to new cells. In one approach, adult cells are converted to pluripotent stem cells, followed by differentiation to regenerate new cell types. Alternatively, adult cells may be directly converted into other mature cells or progenitors. We discuss and compare these two approaches with particular emphasis on the latter and its relevance for re...

another type of chārbagh

0

Converting One Type-Based Abstract Domain to Another

The specific problem that motivates this paper is how to obtain abstract descriptions of the meanings of imported predicates (such as built-ins) that can be used when analysing a module of a logic program with respect to some abstract domain. We assume that abstract descriptions of the imported predicates are available in terms of some “standard” assertions. The first task is to define an abstr...

Give Me Another One!

We investigate the complexity of an optimization problem in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find a satisfying assignment with minimal Hamming distance to a given assignment that satisfies the formula (NearestOtherSolution, NOSol). We present a complete classification with respect to the relations admitted in the for...

Hopping from One Cell to Another: Huntington's Disease Propagates